David A. Wagner - PDFSEARCH.IO - Document Search Engine

David A. Wagner
Results: 48

#	Item
41	Symbolic Software Model Validation Cynthia Sturton,1 Rohit Sinha,2 Thurston H.Y. Dang,2 Sakshi Jain,2 Michael McCoyd,2 Wei Yang Tan,2 Petros Maniatis,3 Sanjit A. Seshia,2 and David Wagner 2 1 University of North Carolin Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2013-10-18 17:59:35 Theoretical computer science Logic in computer science Model checking Formal verification Symbolic execution First-order logic Validation Static single assignment form Model theory Logic Formal methods Mathematical logic
42	A Survey of Mobile Malware in the Wild Adrienne Porter Felt, Matthew Finifter, Erika Chin, Steven Hanna, and David Wagner University of California, Berkeley {apf,finifter,emc,sch,daw}@cs.berkeley.edu Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2013-10-18 17:59:35 System software Malware Symbian Android Market Mobile operating system Mobile application development Android Bolt Computer virus Computing Software Smartphones
43	A First Step Towards Automated Detection of Buffer Overrun Vulnerabilities David Wagner Jeffrey S. Foster Eric A. Brewer University of California, Berkeley Add to Reading List Source URL: www.isoc.org Language: English - Date: 2000-02-24 15:34:44 C programming language Data types Primitive types Software bugs Constraint programming Buffer overflow C string handling Pointer Circular buffer Software engineering Computer programming Computing
44	An Ontology for State Analysis: Formalizing the Mapping to SysML David A. Wagner Jet Propulsion Laboratory 4800 Oak Grove Dr. Pasadena, CA 91109 Add to Reading List Source URL: www.omgsysml.org Language: English - Date: 2012-04-24 09:45:33 Software engineering Systems Modeling Language Knowledge representation Semantic Web Software development Diagram MagicDraw Modeling language Ontology Computing Science Unified Modeling Language
45	Correcting Acoustic Doppler Current Profiler Discharge Measurements Biased by Sediment Transport David S. Mueller, P.E., M.ASCE1; and Chad R. Wagner, P.E., A.M.ASCE2 Abstract: A negative bias in discharge measurements ma Add to Reading List Source URL: hydroacoustics.usgs.gov Language: English - Date: 2007-12-04 09:03:27 Geology Navigation Geomorphology Fluid mechanics Sedimentology Acoustic Doppler Current Profiler Discharge Sediment transport Streamflow Technology Hydrology Physics
46	Panel: “Academics and Technologists Look at the Future” Add to Reading List Source URL: csrc.nist.gov Language: English - Date: 2013-02-25 18:50:18 Information society Edward Felten Politics Cryptography Human-centered computing Election Assistance Commission David A. Wagner Science Knowledge Electronic voting
47	Advanced Slide Attacks Alex Biryukov? and David Wagner?? Abstract. Recently a powerful cryptanalytic tool—the slide attack— was introduced [3]. Slide attacks are very successful in breaking iterative ciphers with a h Add to Reading List Source URL: www.iacr.org Language: English - Date: 2006-03-02 04:12:28 Tiny Encryption Algorithm Blowfish Block cipher Key schedule Feistel cipher ICE Weak key Ciphertext Cipher Cryptography Data Encryption Standard Slide attack
48	An Evaluation of the Security of CipherUnicorn-E Against Certain Attacks David Wagner Add to Reading List Source URL: www.ipa.go.jp Language: English - Date: 2013-06-03 22:32:58 Block cipher Piling-up lemma Boomerang attack Cryptanalysis ICE Mathematical sciences Applied mathematics CIPHERUNICORN-A Differential-linear attack Differential cryptanalysis CIPHERUNICORN-E Linear cryptanalysis